Computability Theory – alle Bücher

Ihre Suche nach "computability theory" ergab 7 Treffer

Carl Mummert

Reverse Mathematics

Theory and Applications of Computability

Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Can a com…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 69,33*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Dusko Pavlovic

Programs as Diagrams

Theory and Applications of Computability

It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/refer…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 90,66*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Rod Downey

Computability and Complexity

Undergraduate Topics in Computer Science

This is a book about computation, something which is ubiquitous in the modern world. More precisely, it examines computability theory and computational complexity theory. Computability theory is the part …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 58,66*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

George Tourlakis

Computability

This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathema…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 69,33*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Kenneth J. Supowit

Algorithms for Constructing Computably Enumerable Sets

Computer Science Foundations and Applied Logic

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scient…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Gilson Antonio Giraldi

Deep Learning for Fluid Simulation and Animation

SpringerBriefs in Mathematics

This book is an introduction to the use of machine learning and data-driven approaches in fluid simulation and animation, as an alternative to traditional modeling techniques based on partial differential…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 49,28*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Unity of Logic and Computation

Lecture Notes in Computer Science -Band 13967

This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24 28, 2023. The 23 full papers and 1…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 71,19*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb